Prioritized Reasoning in Logic Programming
نویسندگان
چکیده
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of the comparison method of the ASO semantics is presented. The paper introduces the concept of “choice”, as a set of preference rules describing common choice options in different contexts and proposes a new semantics that looks beyond the single preference rules, considering them as a tool for choice representation. More specifically, given a preference rule, its head atoms correspond to the choice options, whereas its body specifies the choice context, i.e. the decisions which have to precede this choice. Finally, a system, called CHOPPER, able to realize both the ASO semantics and its extensions is proposed.
منابع مشابه
Two results for prioritized logic programming
Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between...
متن کاملRepresenting Priorities in Logic Programs
Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacks the mechanism of explicit representation of priorities in a program. In this paper, we introduce a framework for representing priorities in logic programming. Prioritized logic programming represents...
متن کاملPrioritized logic programming and its application to commonsense reasoning
Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicit representation of priority information in a program. When a program contains incomplete or indefinite information, PLP is useful for specifying preference to reduce non-determinism in logic programming. Mor...
متن کاملProperties of Prioritized Logic
Prioritized logic programming has illustrated its rich expres-siveness and exibility in knowledge representation and reasoning. However , some important aspects of prioritized logic programs have yet to be thoroughly explored. In this paper, we investigate several properties of prioritized logic programs in the context of answer set semantics. Specifically , we propose a characterization on the...
متن کاملHandling Defeasibilities in Reasoning about Action: a Prioritized Logic Programming Approach Running Title: Handling Defeasibilities
Representing defeasibility is an important issue in commonsense reasoning. In reasoning about action and change, this issue becomes more di cult because domain and action related defeasible information may con ict with general inertia rules. Furthermore, di erent types of defeasible information may also interfere with each other during the reasoning. In this paper, we develop a prioritized logi...
متن کاملPrioritized Norms and Defaults in Formal Argumentation
Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts. Dung’s seminal paper raised the — so far open — challenge of how to use formal argumentation to represent non monotonic logics, highlighting argumentation’s value in exchanging, communicating ...
متن کامل